Shuvendu K. Lahiri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets

Barnett, Mike, Bird, Christian, Brunet, Joao, Lahiri, Shuvendu K.

Year:

2015

Language:

english

File:

PDF, 956 KB

english, 2015

2

Unifying type checking and property checking for low-level code

Condit, Jeremy, Hackett, Brian, Lahiri, Shuvendu K., Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

3

A low-level memory model and an accompanying reachability predicate

Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamarić

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 1.36 MB

english, 2009

4

An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals

Shuvendu K. Lahiri, Madanlal Musuvathi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

5

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Differential static analysis

Lahiri, Shuvendu K., Vaswani, Kapil, Hoare, C A. R.

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

6

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Embedded software verification: Challenges and solutions

Chao Wang,, Ganai, Malay, Lahiri, Shuvendu, Kroening, Daniel

Year:

2008

Language:

english

File:

PDF, 129 KB

english, 2008

7

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Differential assertion checking

Lahiri, Shuvendu K., McMillan, Kenneth L., Sharma, Rahul, Hawblitzel, Chris

Year:

2013

Language:

english

File:

PDF, 353 KB

english, 2013

8

Back to the future

Lahiri, Shuvendu, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

9

Underspecified harnesses and interleaved bugs

Joshi, Saurabh, Lahiri, Shuvendu K., Lal, Akash

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

10

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Almost-correct specifications

Blackshear, Sam, Lahiri, Shuvendu K.

Year:

2013

Language:

english

File:

PDF, 670 KB

english, 2013

11

Verification modulo versions

Logozzo, Francesco, Lahiri, Shuvendu K., Fähndrich, Manuel, Blackshear, Sam

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 411 KB

english, 2014

12

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - A hybrid SAT-based decision procedure for separation logic with uninterpreted functions

Seshia, Sanjit A., Lahiri, Shuvendu K., Bryant, Randal E.

Year:

2003

Language:

english

File:

PDF, 151 KB

english, 2003

13

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Underspecified harnesses and interleaved bugs

Joshi, Saurabh, Lahiri, Shuvendu K., Lal, Akash

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

14

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Will you still compile me tomorrow? static cross-version compiler validation

Hawblitzel, Chris, Lahiri, Shuvendu K., Pawar, Kshama, Hashmi, Hammad, Gokbulut, Sedar, Fernando, Lakshan, Detlefs, Dave, Wadsworth, Scott

Year:

2013

Language:

english

File:

PDF, 2.11 MB

english, 2013

15

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Verification modulo versions

Logozzo, Francesco, Lahiri, Shuvendu K., Fähndrich, Manuel, Blackshear, Sam

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

16

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Finding errors in .net with feedback-directed random testing

Pacheco, Carlos, Lahiri, Shuvendu K., Ball, Thomas

Year:

2008

Language:

english

File:

PDF, 311 KB

english, 2008

17

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Unifying type checking and property checking for low-level code

Condit, Jeremy, Hackett, Brian, Lahiri, Shuvendu K., Qadeer, Shaz

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

18

[ACM Press the 5th ACM workshop - Austin, Texas, USA (2011.01.29-2011.01.29)] Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV '11 - Linear maps

Lahiri, Shuvendu K., Qadeer, Shaz, Walker, David

Year:

2011

Language:

english

File:

PDF, 519 KB

english, 2011

19

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Back to the future

Lahiri, Shuvendu, Qadeer, Shaz

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

20

Predicate abstraction with indexed predicates

Lahiri, Shuvendu K., Bryant, Randal E.

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 330 KB

english, 2007

21

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

He, Shaobo, Lahiri, Shuvendu K., Rakamarić, Zvonimir

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

22

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Optimizing Test Placement for Module-Level Regression Testing

Shi, August, Thummalapenta, Suresh, Lahiri, Shuvendu K., Bjorner, Nikolaj, Czerwonka, Jacek

Year:

2017

Language:

english

File:

PDF, 246 KB

english, 2017

23

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Probabilistic Black-Box Reachability Checking

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 462 KB

english, 2017

24

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Signal Clustering Using Temporal Logics

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 1.25 MB

english, 2017

25

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 586 KB

english, 2017

26

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Combining Symbolic Runtime Enforcers for Cyber-Physical Systems

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 513 KB

english, 2017

27

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || A Wingman for Virtual Appliances

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 246 KB

english, 2017

28

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Monitoring Time Intervals

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

29

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || TeLEx: Passive STL Learning Using Only Positive Examples

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 889 KB

english, 2017

30

[Lecture Notes in Computer Science] Runtime Verification Volume 10548 || Monitoring Hyperproperties

Lahiri, Shuvendu, Reger, Giles

Year:

2017

Language:

english

File:

PDF, 540 KB

english, 2017

31

[ACM Press Conference record of the 33rd ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, USA (2006.01.11-2006.01.13)] Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 - Verifying properties of well-founded linked lists

Lahiri, Shuvendu K., Qadeer, Shaz

Year:

2006

Language:

english

File:

PDF, 176 KB

english, 2006

32

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Refining interprocedural change-impact analysis using equivalence relations

Gyori, Alex, Lahiri, Shuvendu K., Partush, Nimrod

Year:

2017

Language:

english

File:

PDF, 883 KB

english, 2017

33

Wireless protocol validation under uncertainty

Shi, Jinghao, Lahiri, Shuvendu K., Chandra, Ranveer, Challen, Geoffrey

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

34

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 349 KB

english, 2018

35

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 506 KB

english, 2018

36

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || Owl: A Library for $$\omega $$-Words, Automata, and LTL

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 253 KB

english, 2018

37

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || Formal Specification for Deep Neural Networks

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 982 KB

english, 2018

38

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || PSense: Automatic Sensitivity Analysis for Probabilistic Programs

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 510 KB

english, 2018

39

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 11138 (16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings) || Bounded Synthesis of Register Transducers

Lahiri, Shuvendu K., Wang, Chao

Year:

2018

Language:

english

File:

PDF, 476 KB

english, 2018

40

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Datalog-based scalable semantic diffing of concurrent programs

Sung, Chungha, Lahiri, Shuvendu K., Enea, Constantin, Wang, Chao

Year:

2018

Language:

english

File:

PDF, 907 KB

english, 2018

41

[ACM Press the 2018 26th ACM Joint Meeting - Lake Buena Vista, FL, USA (2018.11.04-2018.11.09)] Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 - Code vectors: understanding programs through embedded abstracted symbolic traces

Henkel, Jordan, Lahiri, Shuvendu K., Liblit, Ben, Reps, Thomas

Year:

2018

Language:

english

File:

PDF, 335 KB

english, 2018

42

Abstract semantic diffing of evolving concurrent programs

Bouajjani, Ahmed, Enea, Constantin, Lahiri, Shuvendu K.

Journal:

Formal Methods in System Design

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 12225 (32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21â24, 2020, Proceedings, Part II) ||

Lahiri, Shuvendu K., Wang, Chao

Year:

2020

File:

PDF, 22.01 MB

2020

44

[Lecture Notes in Computer Science] Computer Aided Verification Volume 12224 (32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21â24, 2020, Proceedings, Part I) ||

Lahiri, Shuvendu K., Wang, Chao

Year:

2020

File:

PDF, 28.14 MB

2020

45

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Lahiri, Shuvendu K., Mehra, Krishna K., Hamadi, Youssef, Bordeaux, Lucas

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 331 KB

2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски